applicative functional


applicative functional
Компьютерная техника: аппликативный функционал

Универсальный англо-русский словарь. . 2011.

Смотреть что такое "applicative functional" в других словарях:

  • Applicative computing systems — Applicative computing systems, or ACS are the systems of object calculi founded on combinatory logic and lambda calculus [Wolfengagen V.E. Methods and means for computations with objects. Applicative Computational Systems. M.: JurInfoR Ltd.,… …   Wikipedia

  • Applicative Universal Grammar — Applicative Universal Grammar, or AUG, is a universal semantic metalanguage intended for studying the semantic processes in particular languages [ Shaumyan S. A Semiotic Theory of Language . Bloomington and Indianapolis: Indiana University Press …   Wikipedia

  • Applicative programming language — In the classification of programming languages, an applicative programming language is designed to support the development of programs as giving the result of a function of the combined variables. Successive functional transformations are applied …   Wikipedia

  • Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… …   Wikipedia

  • Monad (functional programming) — In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the… …   Wikipedia

  • Kent Applicative Operating System — The Kent Applicative Operating System is a functional operating system concept to use dynamic process creation and inter process communication.The system is based on earlier work by Will R. Stoye. The system allow dynamic creation of functional… …   Wikipedia

  • Categorical abstract machine — (CAM) is the model of computation of a program [ Cousineau G., Curien P. L., Mauny M. The categorical abstract machine. LNCS, 201, Functional programming languages computer architecture. 1985, pp. 50 64.] , which preserves the abilities of… …   Wikipedia

  • CR-Klassifikation — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Das CR Classification ist eine von der ACM entwickelte und… …   Deutsch Wikipedia

  • CR Classification — Das CR Classification ist eine von der ACM entwickelte und gepflegte Fachklassifikation für die Informatik. Das System beinhaltet eine 3 Level Hierarchie mit einem weiteren Level zur Beschreibung. Die erste Version der Klassifikation erschien im… …   Deutsch Wikipedia

  • Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

  • WAS — WebSphere WebSphere est une marque du groupe IBM. Le nom de Websphere renvoie généralement à la plate forme applicative WebSphere Application Server (WAS). Sommaire 1 La plate forme applicative 2 Les produits Websphere 3 WAS …   Wikipédia en Français

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.